]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07fad38) | patch
extensions-tool: Add bash completion
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 28 Aug 2018 02:38:23 +0000 (04:38 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 21 Aug 2019 16:28:02 +0000 (18:28 +0200)
commit0de5209cf19743d92541b9640918ab7ca5d213df
tree35e8b6d417729fff9649b0438cf46c28bc541822tree | snapshot
parent07fad38a5008f31042f1a7e9d6625b46ceae6e58commit | diff
extensions-tool: Add bash completion

Completions are clearly helpful, in particular for extension UUIDs
that are often lengthy strings containing random usernames.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
meson.build diff | blob | history
src/extensions-tool/completion/bash/gnome-extensions [new file with mode: 0644] blob
src/extensions-tool/meson.build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.